- algorithmic insolubility
- алгоритмическая неразрешимость
English-Russian base dictionary . 2014.
English-Russian base dictionary . 2014.
List of mathematical proofs — A list of articles with mathematical proofs:Theorems of which articles are primarily devoted to proving them: See also: *Bertrand s postulate and a proof *Estimation of covariance matrices *Fermat s little theorem and some proofs *Gödel s… … Wikipedia